3. Algebraic and logic programming :
پدیدآورنده: J. Grabowski, P. Lescanne, W. Wechler (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
4. Algorithms + data structures=programs /
پدیدآورنده: Niklaus Wirth.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms.,Computer programming.,Data structures (Computer science),Computers.,Algorithmes.,Programmation (Informatique),Structures de données (Informatique),Algorithmes.,Algorithmus,Algorithmus.,Algoritmen.,Computer algorithms.,Computer programming.,Data structures (Computer science),Datastructuren.,Datenstruktur,Datenstruktur.,Langages de programmation-- Problèmes et exercices.,Logiciels.,Ordinateurs-- Programmation.,PASCAL,PASCAL (Programmiersprache),PASCAL.,Programmation (mathématiques),Programmeren (computers),Programmiersprache,Programmiersprache.,Programmierung,Programmierung.,Softwareentwicklung,Softwareentwicklung.,Structures de données (informatique)
رده :
QA76
.
6
.
W56
7. Automata, languages and programming :
پدیدآورنده: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
8. Baltic Computer Science :
پدیدآورنده: by Janis Barzdins, Dines Bjorner.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA76
.
B953
1991
9. Big Java :
پدیدآورنده: Cay Horstmann
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Java (Computer program language)
رده :
QA76
.
73
.
J38
H67
2013
11. C programming :
پدیدآورنده: David R. Brooks.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: C (Computer program language)
رده :
QA76
.
73
.
C15
D385
9999
12. Common LISP :
پدیدآورنده:
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: LISP (Computer program language),LISP (Computer program language),TECHNOLOGY & ENGINEERING / Electrical.
رده :
QA76
.
73
.
C28
T68
2015
13. Computation mathematical programming
پدیدآورنده: edited by K.L. Hoffman, R.H.F. Jackson, J. Telgen.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Civil & Environmental Engineering.,Programming (Mathematics),Programming (Mathematics) -- Congresses.
رده :
QA402
.
5
E358
1987
14. Computational Logic - CL 2000 :
پدیدآورنده: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
15. Computer-aided design and manufacturing :
پدیدآورنده: T Kohonen
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
TS155
.
6
T564
2012
16. Curves and surfaces for CAGD :
پدیدآورنده: Gerald Farin.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer graphics.,Computer-aided design.,Computer graphics.,Computer-aided design.,MATHEMATICS-- Geometry-- Algebraic.,Processamento gráfico.
رده :
T385
.
F37
2002eb
17. Declarative networking /
پدیدآورنده: Boon Thau Loo, Wenchao Zhou
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer network protocols,Computer networks-- Management,Declarative programming
رده :
QA76
.
615
.
L663
2012
18. First course in algorithms through puzzles /
پدیدآورنده: Ryuhei Uehara.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms.,Computer algorithms.
رده :
QA9
.
58
19. Foundations of software science and computation structures :
پدیدآورنده: FOSSACS 2013 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Frank Pfenning (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logics and Meanings of Programs.,Programming Languages, Compilers, Interpreters.,Software engineering.
20. Fundamentals of Java programming /
پدیدآورنده: Mitsunori Ogihara.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Java (Computer program language),Computer programming-- software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Programming Languages-- Java.,Java (Computer program language),Programming & scripting languages: general.
رده :
QA76
.
73
.
J38
